identical substitution

恒等代换